Craig interpolation - PDFSEARCH.IO - Document Search Engine

Craig interpolation
Results: 35

#	Item
1	Noname manuscript No. (will be inserted by the editor) On Recursion-free Horn Clauses and Craig Interpolation ¨ Philipp Rummer Add to Reading List Source URL: www.philipp.ruemmer.org Language: English - Date: 2015-10-30 08:06:31
2	Craig Interpolation in SAT and SMT Philipp Rümmer Uppsala University Add to Reading List Source URL: satsmt2014.forsyte.at Language: English - Date: 2014-07-12 03:23:15
3	Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2015-10-07 14:27:16 Mathematical analysis Mathematics Functional analysis Signal processing Operator theory Image compression Wavelet transform Wavelet Distribution Constructible universe Craig interpolation Linear temporal logic
4	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
5	Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2016-04-11 04:53:31 Logic Mathematics IP Interpretation Abstraction Linear temporal logic Craig interpolation
6	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
7	131 Documenta Math. On the Torsion of the Mordell-Weil Group of the Jacobian Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2005-11-04 17:24:04 Algebra Abstract algebra Mathematics Algebraic geometry Algebraic number theory Drinfeld module Divisor Representation theory Smooth functions Number theory Craig interpolation Pushforward
8	131 Documenta Math. On the Torsion of the Mordell-Weil Group of the Jacobian Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2005-11-04 17:24:04 Algebra Abstract algebra Mathematics Algebraic geometry Algebraic number theory Drinfeld module Divisor Representation theory Smooth functions Number theory Craig interpolation Pushforward
9	JOURNAL OF LATEX CLASS FILES 1 Social Grouping for Multi-target Tracking and Head Pose Estimation in Video Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2016-01-04 16:44:20 Mathematics Logic Abstraction Distribution Functional analysis Interpretation Craig interpolation Limit Linear temporal logic operator
10	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation

UPDATE